basic
Connex(T;x,y.R(x;y)) == x, y:T. R(x;y)  R(y;x) 

latex

---

clarification:

basic
Connex(T;x,y.R(x;y)) == x:T, y:T. R(x;y)  R(y;x) 

latex

Up	rel 1, rel 1
Wellformedness Lemmas	connex wf, connex wf
Definitions	x:A. B(x), P  Q
FDL editor aliases	connex